Algebraic Characterization of the Finite Power Property
نویسنده
چکیده
We give a transparent characterization, by means of a certain syntactic semigroup, of regular languages possessing the finite power property. Then we use this characterization to obtain a short elementary proof for the uniform decidability of the finite power property for rational languages in all monoids defined by a confluent regular system of deletion rules. This result in particular covers the case of free groups solved earlier by d’Alessandro and Sakarovitch by means of an involved reduction to the boundedness problem for distance automata.
منابع مشابه
FINITE GROUPS WITH FIVE NON-CENTRAL CONJUGACY CLASSES
Let G be a finite group and Z(G) be the center of G. For a subset A of G, we define kG(A), the number of conjugacy classes of G that intersect A non-trivially. In this paper, we verify the structure of all finite groups G which satisfy the property kG(G-Z(G))=5, and classify them.
متن کاملCharacterization and axiomatization of all semigroups whose square is group
In this paper we give a characterization for all semigroups whose square is a group. Moreover, we axiomatize such semigroups and study some relations between the class of these semigroups and Grouplikes,introduced by the author. Also, we observe that this paper characterizes and axiomatizes a class of Homogroups (semigroups containing an ideal subgroup). Finally, several equivalent conditions ...
متن کاملA characterization property on fields equivalent to algebraicity on Banach spaces
In 1980, Christol, Kamae, Mendès France and Rauzy stated in [3] an important theorem in automata theory. This theorem links sequences recognized by automata and algebraic formal power series. In 1994, Bruyère, Hansel, Michaux and Villemaire extended this theorem with a logical link in [2]. With theses two articles, we can translate the property for a formal power series to be algebraic in combi...
متن کاملOn Condition (G-PWP)
Laan in (Ph.D Thesis, Tartu. 1999) introduced the principal weak form of Condition $(P)$ as Condition $(PWP)$ and gave some characterization of monoids by this condition of their acts. In this paper first we introduce Condition (G-PWP), a generalization of Condition $(PWP)$ of acts over monoids and then will give a characterization of monoids when all right acts satisfy this condition. We also ...
متن کاملOn the property $U$-($G$-$PWP$) of acts
In this paper first of all we introduce Property $U$-($G$-$PWP$) of acts, which is an extension of Condition $(G$-$PWP)$ and give some general properties. Then we give a characterization of monoids when this property of acts implies some others. Also we show that the strong (faithfulness, $P$-cyclicity) and ($P$-)regularity of acts imply the property $U$-($G$-$PWP$). Finally, we give a necessar...
متن کامل